61. Hegel, logic and speculation /
پدیدآورنده: edited by Paolo Diego Bubbio, Alessandro De Cesaris, Maurizio Pagano, Hager Weslati.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Hegel, Georg Ludwig Friedrich,1807-1831.,Hegel, Georg Ludwig Friedrich,1807-1831.,Logic.,Speculation.,Logic.,Speculation.
رده :
B2949
.
L8
H44
2019
62. Hegel's actuality chapter of the science of logic :
پدیدآورنده: Nahum Brown.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Hegel, Georg Wilhelm Friedrich,1770-1831.,Hegel, Georg Wilhelm Friedrich,1770-1831., Wissenschaft der Logik.,Hegel, Georg Wilhelm Friedrich,1770-1831.,Hegel, Georg Wilhelm Friedrich,1770-1831., Wissenschaft der Logik.,Wissenschaft der Logik (Hegel, Georg Wilhelm Friedrich),Modality (Logic),Modality (Logic)
رده :
B2948
.
B765
2019
63. Hybrid Logic and its Proof-Theory
پدیدآورنده: / by Torben Braeuner
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
64. Intensional and higher-order modal logic
پدیدآورنده: / Daniel Gallin. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Modality (Logic),Logic, Symbolic and mathematical.
رده :
BC
,
199
,.
M6
,
G35
,
1975
65. Intensional and higher-order modal logic: with applications to Montague semantics
پدیدآورنده: Gallin, Daniel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Intension )Logic(,، Modality )Logic(
رده :
BC
199
.
I5
G3
66. Intensional and higher-order modal logic : with applications to Montague semantics
پدیدآورنده: Gallin, Daniel.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Modality )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6
.
G35
1975
67. Intensional mathematics
پدیدآورنده: / edited by Stewart Shapiro. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Modality (Logic),Constructive mathematics.,Intuitionistic mathematics.
رده :
QA
,
9
.
46
,.
I57
,
1985
68. Intensional mathematics
پدیدآورنده: edited by Stewart Shapiro
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
69. Intensional mathematics
پدیدآورنده: SHAPIRO,STEWART
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
رده :
QA
9
.
46
.
I57
70. Intensional mathematics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Modality (Logic) ;
71. Intensional mathematics /
پدیدآورنده: edited by Stewart Shapiro
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Constructive mathematics,Intuitionistic mathematics,Modality (Logic)
رده :
QA9
.
46
.
I57
1985
72. Intentional mathematics
پدیدآورنده : edited by Stewart Shapiro
موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
73. Interpolation and definability
پدیدآورنده: Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
رده :
QA
281
.
G28I5
74. Introduction to deontic logic and the theory of normative systems /
پدیدآورنده: Lennart Åqvist
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Deontic logic,Modality (Logic),Logique déontique,Logique symbolique et mathématique
رده :
BC145
.
A67
1987
75. Introductory modal logic
پدیدآورنده: Konyndyk, Kenneth.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Modality )Logic(
رده :
BC
199
.
M6
K66
1986
76. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده: Gabbay, Dov M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6
.
G3
77. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده: Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6G22
78. Kant's modal metaphysics
پدیدآورنده: Stang, Nicholas Frederick, 9791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Kant, Immanuel, 4271-4081,، Modality )Logic(,، Metaphysics
رده :
B
2799
.
M5S72
79. Laws, modalities, and counterfactuals
پدیدآورنده: Reichenbach, Hans, 1981-3591
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Counterfactuals )Logic(,، Modality )Logic(,، Law -- Philosophy
رده :
BC
199
.
C66R44
80. Lessons on the analytic of the sublime :
پدیدآورنده: Jean-François Lyotard ; translated by Elizabeth Rottenberg
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Kant, Immanuel,1724-1804., Kritik der Urteilskraft,Aesthetics,Judgment (Logic),Sublime, The-- History-- 18th century,Teleology
رده :
B2784
.
L9613
1994
